Representing Propositional Logic Connectives With Modular Polynomials

نویسنده

  • Shawn Davis
چکیده

This paper explores the relationship between n-valued propositional logic connectives and modular polynomials. Namely the representing of logic connectives using modular polynomials. The case for n = 2 is explored and a method is developed for finding the coefficients of the unique polynomial that represents any given binary logic connective. Examples are then given for using the modular polynomial representations of connectives to determine the validity of propositional arguments. A similar procedure is shown for when n = 3 and an evaluation of the axioms of Łukasiewicz’s 3-valued logic is given using modular polynomials. The general case is explored to determine for which values of n the representation holds. It is then shown that mod n polynomial functions are sufficient for representing any n-valued logic connective if and only if n is prime.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Truth Values and Connectives in Some Non-Classical Logics

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

متن کامل

Equality propositional logic and its extensions

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

متن کامل

Proofs by handling polynomials: a tool for teaching logic and metalogic

1 Polynomials as proof devices Algebraic proof systems based on formal polynomials over algebraically closed fields (the “polynomial ring calculus”) were introduced in [9] (see [10] and [11] for recent developments). Formal polynomials work as a powerful tool for logical derivation in classical and non-classical logics, in particular for propositional many-valued logics, paraconsistent logics a...

متن کامل

On Extensions and Variants of Dependence Logic — A study of intuitionistic connectives in the team semantics setting

Dependence logic is a new logic which incorporates the notion of “dependence”, as well as “independence” between variables into first-order logic. In this thesis, we study extensions and variants of dependence logic on the first-order, propositional and modal level. In particular, the role of intuitionistic connectives in this setting is emphasized. We obtain, among others, the following result...

متن کامل

Complete Sets of Connectives for Generalized Łukasiewicz Logics

While ∧,∨,¬ form a complete set of connectives for classical propositional logic, this does not hold for Łukasiewicz’s three-valued propositional logic, nor its generalization to n-valued logic. We define a unary connective r so that ∧,∨,¬, r form a complete set of connectives for n-valued Łukasiewicz logic. We discuss generalizations of this to infinitary logics. If we allow infinite conjuncti...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010